Sophia Antipolis

Results: 441



#Item
31Printing Floating-Point Numbers Quickly and Accurately with Integers Florian Loitsch Inria Sophia Antipolis 2004 Route des Lucioles - BPSophia Antipolis Cedex

Printing Floating-Point Numbers Quickly and Accurately with Integers Florian Loitsch Inria Sophia Antipolis 2004 Route des Lucioles - BPSophia Antipolis Cedex

Add to Reading List

Source URL: www.cs.tufts.edu

- Date: 2012-02-10 20:07:36
    32David Coudert CR Inria, Head of Coati Tél : +81 E-mail : Sophia Antipolis, le 30 mai 2016

    David Coudert CR Inria, Head of Coati Tél : +81 E-mail : Sophia Antipolis, le 30 mai 2016

    Add to Reading List

    Source URL: bodossaki.gr

    - Date: 2016-07-29 04:12:57
      33IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2015

      IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2015

      Add to Reading List

      Source URL: raweb.inria.fr

      - Date: 2016-03-21 11:42:17
        34Nicolas Nisse CR Inria Tél : +81 E-mail : Sophia Antipolis, le 30 mai 2016

        Nicolas Nisse CR Inria Tél : +81 E-mail : Sophia Antipolis, le 30 mai 2016

        Add to Reading List

        Source URL: bodossaki.gr

        - Date: 2016-07-29 04:09:20
          35IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2013

          IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2013

          Add to Reading List

          Source URL: raweb.inria.fr

          - Date: 2014-03-19 11:20:21
            36IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2014

            IN PARTNERSHIP WITH: CNRS Université Nice - Sophia Antipolis Activity Report 2014

            Add to Reading List

            Source URL: raweb.inria.fr

            - Date: 2015-03-19 07:38:08
              37Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

              Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2011-09-12 13:20:20
                38Behavioural Verification of Distributed Components Ludovic Henrio and Eric Madelaine Inria Sophia-Antipolis-I3S-CNRS-University of Nice Sophia-Antipolis , This paper presents

                Behavioural Verification of Distributed Components Ludovic Henrio and Eric Madelaine Inria Sophia-Antipolis-I3S-CNRS-University of Nice Sophia-Antipolis , This paper presents

                Add to Reading List

                Source URL: www.cs.unibo.it

                - Date: 2013-06-01 06:44:16
                  39Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations Vincent Kherbache INRIA Sophia Antipolis Email:

                  Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations Vincent Kherbache INRIA Sophia Antipolis Email:

                  Add to Reading List

                  Source URL: vincent.kherbache.fr

                  - Date: 2015-11-17 08:19:54
                    40Fine-grained and coarse-grained reactive bisimilarity Pejman Attar & Ilaria Castellani INRIA Sophia Antipolis Méditerranée (Longer version to be presented at TGC’13)

                    Fine-grained and coarse-grained reactive bisimilarity Pejman Attar & Ilaria Castellani INRIA Sophia Antipolis Méditerranée (Longer version to be presented at TGC’13)

                    Add to Reading List

                    Source URL: www.ips.tu-braunschweig.de

                    - Date: 2013-09-10 10:58:30